2141. Veracity of big data :
پدیدآورنده : Vishnu Pendyala.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Data editing.,Data integrity.,Databases-- Evaluation.,Verification (Logic)-- Computer programs.,Artificial intelligence.,Computer algorithms.,COMPUTERS-- General.,Data editing.,Data integrity.,Databases-- Evaluation.,Databases.
رده :
QA76
.
9
.
A43
2142. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
2143. Verification of reactive systems
پدیدآورنده : / Klaus Schneider
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer systems- - Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2003
2144. Verification of reactive systems
پدیدآورنده : / Klaus Schneider
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Computer systems -- Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2004
2145. Verification of reactive systems :
پدیدآورنده : Klaus Schneider.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
رده :
QA76
.
76
.
V47
K538
2004
2146. Verification of reactive systems: formal methods and algorithms
پدیدآورنده : Schneider, Klaus
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
رده :
QA
76
.
76
.
V47
.
S34
2003
2147. Vision chips : implementing vision algorithms with analog VLSI circuits
پدیدآورنده : ]edited by[ Christof Koch, Hua Li
کتابخانه: (طهران)
موضوع : Computer vision , Integrated circuits - Very large scale integration , Computer algorithms
رده :
TA
1634
.
V54
2148. Vlsi algorithms & architectures:3rd aegean workshop on computing,
پدیدآورنده :
کتابخانه: (طهران)
موضوع : INTEGRATED CIRCUITES-VERY LARGE SCALE , COMPUTER ARCHITECTURE-CONGRESSES , ALGORITHMS-CONGRESSE
رده :
TK
7874
.
A338
1988
2149. WALCOM
پدیدآورنده : \ [edited by] M. Sohel Rahman, Etsuji Tomita.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتم‌های کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
A43W32
2015
E-Book
,
2150. WALCOM
پدیدآورنده : Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
2151. WALCOM
پدیدآورنده : \ Mohammad Kaykobad , Rossella Petreschi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Computer algorithms,الگوریتم‌های کامپیوتری -- کنگره ها ,الگوریتم‌های کامپیوتری
رده :
QA
76
.
9
.
W32
2016
E-Book
,
2152. WALCOM: algorithms and computation :
پدیدآورنده : Gautam K. Das, Partha S. Mandal, Krishnendu Mukhopadhyaya, Shin-ichi Nakano (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer algorithms.
رده :
QA76
.
9
.
A43
2153. WALCOM, algorithms and computation :
پدیدآورنده : Naoki Katoh, Amit Kumar (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses
رده :
QA76
.
9
.
A43
W35
2011
2154. Wireless Internet
پدیدآورنده : edited by Hua Qian, Kai Kang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computer communication systems.,Computer science.
2155. Wireless algorithms, systems, and applications
پدیدآورنده : / Benyuan Liu ... [et al.] (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Wireless communication systems, Congresses,Computer algorithms, Design, Congresses,Multiplexing, Congresses,System design, Congresses
رده :
E-BOOK
2156. Wireless algorithms, systems, and applications
پدیدآورنده : Benyuan Liu ... [et al.]& (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Wireless communication systems, Congresses,Computer algorithms, Design, Congresses,Multiplexing, Congresses,System design, Congresses
رده :
TK
،
5103
.
2
،.
W38
،
2009
2157. Wireless algorithms, systems, and applicationsthird international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Congresses ، Wireless communication systems,Congresses ، Computer algorithms-- Design,Congresses ، Multiplexing,Congresses ، System design
رده :
TK
5103
.
2
.
W38
2008
2158. Wireless sensor and actuator networks
پدیدآورنده : / edited by Amiya Nayak and Ivan Stojmenovic
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Wireless sensor networks,Computer algorithms,Computer network protocols
رده :
TK7872
.
D48W5666
2010
2159. Wireless sensor and actuator networks :
پدیدآورنده : edited by Amiya Nayak and Ivan Stojmenovic
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms,Computer network protocols,Wireless sensor networks
رده :
TK7872
.
D48
W5666
2010
